Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
191	PDF Document Add to Reading List Source URL: files.eric.ed.gov Language: English - Date: 2014-01-14 13:50:42 Design of experiments Statistical inference Parametric statistics Statistical hypothesis testing Statistical power P-value Statistical significance Null hypothesis Type I and type II errors Statistics Hypothesis testing Statistical tests
192	Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-31 10:51:45 Computing Type system Subtype polymorphism Type class Type inference Covariance and contravariance Type safety Hindley–Milner Polymorphism Type theory Software engineering Programming language theory
193	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
194	Nullable Type Inference Michel Mauny Benoît Vaugon Unité d’Informatique et d’Ingénierie des Systèmes (U2IS) Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-13 14:55:08 Euclidean plane geometry Golden ratio Symbol
195	Modular Type Classes Derek Dreyer Robert Harper Manuel M.T. Chakravarty Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:04 Programming language theory Type class Generic programming Standard ML Type system Parametric polymorphism Type inference Type signature Kind Software engineering Type theory Computing
196	The Essential Question[removed]The Question What important question requiring analysis, interpretation, inference and/or synthesis will you type here? What choices or additional information can you add here as an Add to Reading List Source URL: www.questioning.org - Date: 2010-10-31 20:47:06
197	FIGARO TUTORIAL avi pfeffer, brian ruttenberg, michael howard, and alison o’connor charles river analytics CONTENTS Add to Reading List Source URL: www.cra.com Language: English - Date: 2015-03-16 11:50:04 Functional languages Theoretical computer science Java platform Scala Type inference Probabilistic logic Algorithm Expectation–maximization algorithm Computing Software engineering Computer programming
198	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
199	HOL Formalised: Language and Overview R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-27 11:48:02 Formal languages Formal systems Logic in computer science Type theory HOL First-order logic Rule of inference Interpretation Axiom Logic Mathematical logic Model theory
200	Applications of Class-Conditional Conformal Predictor in Multi-Class Classification Cheng Soon Ong Fan Shi Add to Reading List Source URL: www.ong-home.my Language: English - Date: 2014-01-22 18:57:55 Biostatistics Statistical inference Design of experiments Confidence interval Validity Normal distribution Calibration Type I and type II errors Statistical hypothesis testing Statistics Measurement Psychometrics

UPDATE